<?php
	function getMaxId($filename) {
		if (DEBUG) enter("::getMaxId($filename)");
		$maxId = 0;
		$gamesStringArray = getGamesStringArray($filename);
		foreach ($gamesStringArray as $gameString) {
			list($id) = split(" ", $gameString);
			if ($id > $maxId) {
				$maxId = $id;
			}
		}
		if (DEBUG) ex("::getMaxId(), maxId=$maxId");
		return $maxId;
	}
?>